A 35-year-old marathon runner is brought in after falling down and developing a generalized tonic-clonic seizure lasting 3 minutes. He had been running for 5 hours continuously, in a very hot climate. His medical history is unremarkable. There is no family history of cardiac disease or early deaths. His random plasma glucose is 83.8 mg/dL.